Skip to content

Conversation

masci
Copy link
Contributor

@masci masci commented Apr 22, 2020

Please check if the PR fulfills these requirements

  • The PR has no duplicates (please search among the Pull Requests before creating one)
  • The PR follows our contributing guidelines
  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)
  • What kind of change does this PR introduce?

No changes to the CLI

  • Other information:

Send an error event when nightly builds fail


See how to contribute

Copy link
Contributor

@rsora rsora left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚨

@masci masci merged commit 9073c13 into master Apr 22, 2020
@masci masci deleted the massi/nightly branch April 22, 2020 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants